Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·2d
🦀Rust Macros
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·5h
📏Linear Logic
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·2h
📝Concrete Syntax
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
📝Text Parsing
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing
How to Use Antlr Pattern Matching
tomassetti.me·1d·
Discuss: Hacker News
🔍Z3 Parsing
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🔲Cellular Automata
Generating Structured Outputs from LLMs
towardsdatascience.com·23h
📐Format Grammars
What It’s Like to Brainstorm with a Bot
newyorker.com·7h
🔲Cellular Automata
Sophos AI at Black Hat USA ’25: Anomaly detection betrayed us, so we gave it a new job
news.sophos.com·1d
🎯Threat Hunting
Parametric Matrix Models
nature.com·1d·
Discuss: Hacker News
📐Linear Algebra
Training Specialist Models: Automating Malware Development
outflank.nl·1d
🧮SMT Solvers
Diffusion Language Models Are Super Data Learners
jinjieni.notion.site·2h·
Discuss: Hacker News
🎙️Whisper
How Do LLMs Persuade? Linear Probes Can Uncover Persuasion Dynamics in Multi-Turn Conversations
arxiv.org·1d
🧮Kolmogorov Complexity
Programming with AI: You're Probably Doing It Wrong
devroom.io·1d·
Discuss: Hacker News
⚡Proof Automation
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Lobsters Interview with Hwayne
lobste.rs·19h·
Discuss: Lobsters
⚔️Lean Tactics
Finding Golden Examples: A Smarter Approach to In-Context Learning
towardsdatascience.com·1d
⚙️ABNF Mining
Eliciting and Analyzing Emergent Misalignment in State-of-the-Art Large Language Models
arxiv.org·2d
💾Binary Linguistics